class Test
end

class EqTest
feature
    compare alias "="(b : Test) : BOOLEAN
    do
        Result:=True
    end
end

class APP
    feature   
    INIT
    local
        b: BOOLEAN;
        a : Test;
        c : EqTest
    do
        b:= 4=2
        b:= VOID=VOID
        b:= a = VOID
        b:= VOID=a
        b:= a=4
        b:= c=a
        b:= c~a
    end
end